201. Mathematical foundations of computer science : symposium at ..
پدیدآورنده: A. Kreczmar, G. Mirkowska )Eds.(
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع: Congresses ، Machine theory,Congresses ، Formal languages,Congresses ، Programming )Electronic computers(
رده :
QA
76
.
L4
v
.
379
202. Mathematical foundations of computer science 1991 : 16th International symposium, Kazimierz Dolny, Poland, September 9-13, 1991, Proceedings
پدیدآورنده: A. Tarlecki )ed.(
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع: Congresses ، Machine theory,Congresses ، Formal languages,Congresses ، Programming )Electronic computers(
رده :
QA
76
.
L4
v
.
520
203. Mathematical foundations of computer science, 1975, 4th Symposium, Marianske, Lazne, September 1-5, 1975
پدیدآورنده: / Edited by G. Goos and J. Hartmanis
کتابخانه: كتابخانه پردیس علوم (دانشگاه تهران) (تهران)
موضوع: Sequential machine theory -- Congresses,Formal languages -- Congresses
رده :
QA
267
.
5
.
S4
S89
1975
204. Mathematical foundations of computer science 1975, 4th Symposium, Marianske Lazne, September 1-5, 1975
پدیدآورنده:
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی اصفهان (اصفهان)
موضوع: Sequential machine theory -- Congresses►Formal languages -- Congresses
رده :
QA
267
.
5
.
S4
,
S89
1975
205. Mathematical foundations of computer science 1975, 4th symposium , Marianske Lazne , sept ,1-5, 1975
پدیدآورنده: Symposium on Mathematical foundations of computer science , 4th Marianske Lazne , Czechoslovak repulic ,5791
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه الزهراء (س) (تهران)
موضوع: ، Sequaential machine theory - Congresses,، Formal languages - Congresses
رده :
QA
267
.
5
.
S4S89
1975
206. Mathematical systems theory ; proceedings of the international symposium Udine, Italy June 16-27 .1975
پدیدآورنده:
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه الزهراء (س) (تهران)
موضوع: ، System analysis - congresses,، Sequential machine theory - congresses,، Coding theory congresses
رده :
QA
402
.
C58
1975
208. PRICAI'96 : Topics in artificial intelligence : 4th Pacific Rim International Conference on Artificial Intelligence, Cairns, Australia, August, 26-30, 1996 : proceedings
پدیدآورنده: Norman Foo, Randy Goebel )Eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Artificial intelligence,Congresses ، Machine learning,Congresses ، Knowledge representation )Information theory(
رده :
QA
76
.
L28
Vol
.
1114
209. Petri Nets : advances in Petri Nets 1986 : proceedings of an advanced course, Bad Honnef, 8-19 September 1986
پدیدآورنده: edited by W. Brauer, W. Reisig, and G. Rozenberg
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Petri nets,Congresses ، Machine theory
رده :
QA
76
.
L28
Vol
.
254-255
210. Proceedings
پدیدآورنده: Symposium on Computers and Automata, 1791, New York
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Computers-- Congresses,، Machine theory-- Congresses
رده :
TK
7885
.
S9
1971
211. Proceedings
پدیدآورنده: / edited by Imre J.Rudas
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: Machine theory- Congresses,Robotics- Congresses,Bionics- Congresses
رده :
TJ211
.
45
.
I345
1997
212. Proceedings
پدیدآورنده: / (Edited by Jerome Fox)
کتابخانه: كتابخانه پردیس علوم (دانشگاه تهران) (تهران)
موضوع: Computers -- Congresses,Machine theory -- Congresses
رده :
TK
7885
.
S9
213. Proceedings
پدیدآورنده: / [Edited by] Jerome Fox. Brooklyn, N.Y. Polytechinic press of the Polytechnic Institute of Brooklyn: distribution
کتابخانه: کتابخانه مرکزی، مرکز اسناد و موزه دانشگاه شهید بهشتی (تهران)
موضوع: Machine theory - Congresses
رده :
001
.
64
S989p
1971
214. Proceedings of the ... Annual ACM Symposium on Theory of Computing
پدیدآورنده:
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: Congresses ، Machine theory,Congresses ، Computable functions,Congresses ، Computational complexity
رده :
QA
267
.
A27a
2002
215. Proceedings of the Logic Colloquium held in Aachen, July 18-23, 1983
پدیدآورنده: edited by G. H. Muller and M. M. Richter
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Logic, Symbolic and mathematical,Congresses ، Model theory,Congresses ، Set theory,Congresses ، Machine theory,Congresses ، Proof theory
رده :
QA
3
.
L28
Vol
.
1103
,
1104
216. Proceedings of the thirty-third annual ACM Symposium on the Theory of Computing: Hersonissos, Crete, Greece, July 6-8, 2001
پدیدآورنده:
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: Congresses ، Machine theory,Congresses ، Computational complexity
رده :
QA
267
.
A27
2001
217. Proceedings : 34th Annual Symposium on Foundations of Computer Science, Novenber 3-5, 1993, Palo Alto, California
پدیدآورنده: sponsord by IEEE Computer Society, Technical Committee on Mathematical Foundations of Computing
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع: Switching theory - Congresses , Machine theory - Congresses , Electronic data processing - Congresses , Computer Science-Congresses
رده :
QA
268
.
5
.
S95
1993
219. Process algebra and probabilistic methods
پدیدآورنده: / Holger Hermanns, Roberto Segala, eds
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Machine theory--Congresses,Parallel processing (Electronic computers)--Congresses
رده :
QA
,
267
,.
P362
,
2002
220. Process algebra and probabilistic methods: performance modeling and verification: joint international workshop, PAPM-PROBMIV 2001, Aachen, Germany, September 12-14, 2001: proceedings
پدیدآورنده:
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: Congresses ، Machine theory,Congresses ، Parallel processing )Electronic computers(
رده :
QA
267
.
P36
2001
